Time and games
نویسنده
چکیده
We add the notion of time to denotational models of the λcalculus. The denotation is no longer constant through reduction, but rather decreases with respect to an appropriate order. Categorically, we use a monad over a cartesian category, an order over the morphisms of the Kleisli category, and a Galois connection to model β-reduction. We define a generic monad (time as a resource), and an instance of this construction in game semantics, where our timings are precise enough to simulate parallelism through interleaving.
منابع مشابه
Robust Opponent Modeling in Real-Time Strategy Games using Bayesian Networks
Opponent modeling is a key challenge in Real-Time Strategy (RTS) games as the environment is adversarial in these games, and the player cannot predict the future actions of her opponent. Additionally, the environment is partially observable due to the fog of war. In this paper, we propose an opponent model which is robust to the observation noise existing due to the fog of war. In order to cope...
متن کاملThe Effectiveness of Computer Cognitive Games in Reducing Attention Deficit- Hyperactivity Disorder Symptoms and Improving Time Perception in Children
The aim of this study was to investigate the effect of computerized cognitive games on reduction of attention deficit hyperactivity disorder (ADHD) symptoms and time perception in children with ADHD. The present research method was a quasi-experimental pre-test-post-test design with a control group. Thirty students with ADHD were selected through purposeful sampling from elementary school stude...
متن کاملAssessment of Children’s Experiences of Playing Computer Games: A Phenomenological Approach
Introduction: Due to the Attraction and enormous diversity of computer games, children and adolescents allocate a notable part of their time and energy to play these games. This necessitates the study of their Advantages and disadvantages. Therefore, the aim of this study was to represent the outcomes of playing computer games in the fourth grade students. Method: This is a qualitative and phe...
متن کاملEvaluating the Effectiveness of Using Sport and Traditional Games at the Higher Military Educational Establishments in a Pandemic and Post-pandemic Period
Background. The cadets experienced particular difficulties in a pandemic period because due to isolation and faced a number of unanticipated challenges like stress, anxiety, and low learning outcomes. Objectives: The aim of the study was to evaluate the effectiveness of sport and traditional games to improve cadets’ learning performance and motivation to learning activities and future service ...
متن کاملThe Relationship Between Tendency to Computer Games and the Mental Health of Junior High School Students of Shahr-e Kord, Iran
Background and aims: Given that computer games have positive and negative functions and mayaffect the mental health of individuals, the present research aimed to study the relationship betweenthe tendency to playing computer games and the mental health of junior high school students inShahr-e Kord.Methods: The current cross-sectional descriptive-analytical study was cond...
متن کاملThe Impact of Playing Word Games on Young Iranian EFL Learners’ Vocabulary Learning and Retention
Acquiring adequate vocabulary in a foreign language is very important but often difficult. Considering the importance of learner’s vocabulary learning and retention, the present study aimed at examining the impact of playing word games on young Iranian EFL learners’ vocabulary learning and retention at Irandoostan language Institute in Tabriz. To that end, 50 female learners at the age range of...
متن کامل